Programming language implementation

Results: 1978



#Item
231Virtual machines / Programming language implementation / Virtual hosting / VM / PlayStation Home / Virtual private server / System software / Software / Web hosting

GTS Virtual Hosting QUICK START GUIDE GTS Virtual Hosting – Quick Start Guide Introduction GTS Virtual Hosting gives all business customers a fast and scalable package of computing-as-a-service products.

Add to Reading List

Source URL: www.gts.ro

Language: English - Date: 2013-04-02 11:55:07
232Compiler construction / Virtual machines / Software optimization / Bytecode / Java bytecode / Warren Abstract Machine / Profiling / Interpreter / Worst-case execution time / Computing / Software / Programming language implementation

Towards Execution Time Estimation in Abstract Machine-Based Languages ∗ E. Mera 1 1 Complutense University of Madrid

Add to Reading List

Source URL: clip.dia.fi.upm.es

Language: English - Date: 2008-07-04 09:38:08
233Programming language implementation / Compiling tools / Parser generators / C programming language / Lex / C preprocessor / Preprocessor / Formal language / Yacc / Computing / Software / Compiler construction

Building Variant Translators for Version 7.5 of Icon* Ralph E. Griswold Kenneth Walker TR 88-8b

Add to Reading List

Source URL: www.cs.arizona.edu

Language: English - Date: 2014-02-12 20:45:52
234Computing / Programming language implementation / Compiling tools / Compiler construction / Acronyms / Yacc / Lex / Parsing / Formal grammar / Formal languages / Software / Parser generators

2005 Paper 4 Question 1 Compiler Construction (a) A (phrase-structured) grammar is often defined to be a 4-tuple (N, T, R, S) where R is a set of production rules. Explain what the other components of the 4-tuple are. E

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-06-09 10:18:05
235Compilers / Programming language implementation / Functional languages / Formal methods / Compiler correctness / Compiler / Compcert / Xavier Leroy / Code generation / Software / Computing / Compiler construction

Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France

Add to Reading List

Source URL: cristal.inria.fr

Language: English - Date: 2009-04-07 07:40:29
236Data management / Data / Databases / Programming language implementation / Software transactional memory / Transactional memory / Nir Shavit / Linearizability / Serializability / Transaction processing / Concurrency control / Computing

WTTM 2012, The Fourth Workshop on the Theory of Transactional Memory Vincent Gramoli University of Sydney Australia

Add to Reading List

Source URL: www.gsd.inesc-id.pt

Language: English - Date: 2014-09-25 06:02:42
237Enterprise application integration / Web services / Software engineering / Computing / Information technology management / Service-oriented architecture / Software testing / Executable / Programming language implementation

SvenRosvall-Mock Objects in Func Test

Add to Reading List

Source URL: accu.org

Language: English - Date: 2015-05-09 16:48:59
238Compiler construction / Parsing / Lexical analysis / American Sign Language / Lex / Expr / Hindley–Milner / Computing / Software / Programming language implementation

Chapter 12 ASL: A Small Language We present in this chapter a simple language: ASL (A Small Language). This language is basically the λ-calculus (the purely functional kernel of Caml) enriched with a conditional constr

Add to Reading List

Source URL: caml.inria.fr

Language: English - Date: 2011-11-23 02:41:37
239Assembly language / Programming language implementation / Subroutine / JMP / Hexadecimal / Turing machine / Computer programming / Computing / Software engineering

MASSACHUSETTS INSTITUTE OF TECHNOLOGY DEPARTMENT OF ELECTRICAL ENGINEERING AND COMPUTER SCIENCEComputation Structures Fall 2008 Quiz #3: October 24, 2008 Name

Add to Reading List

Source URL: 6004.csail.mit.edu

Language: English - Date: 2012-01-17 10:22:27
UPDATE